CTSHIV: a knowledge-based system for the management of HIV-infected patients | IEEE Conference Publication | IEEE Xplore